Template:STRUCTURE 2cnf